Jonathan P. Bowen: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (38)
가장 인기 있는
목록
- 목록
- 표

1

The Turing Guide

The Turing Guide

Oxford University Press

B. Jack Copeland, Jonathan Peter Bowen, Mark Sprevak, Robin J. Wilson, Alan Mathison Turing

년:

2017

언어:

english

파일:

PDF, 6.33 MB

5.0 / 5.0

english, 2017

2

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

년:

2017

언어:

english

파일:

PDF, 22.14 MB

0 / 0

english, 2017

3

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner [Harris f.c]

년:

2012

언어:

english

파일:

EPUB, 580 KB

0 / 0

english, 2012

4

The Turing Guide

The Turing Guide

Oxford University Press

Jack Copeland, Jonathan Bowen, Mark Sprevak, Robin Wilson

년:

2017

언어:

english

파일:

PDF, 7.45 MB

5.0 / 5.0

english, 2017

5

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

년:

2004

언어:

english

파일:

PDF, 1.33 MB

0 / 0

english, 2004

6

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

년:

2018

언어:

english

파일:

PDF, 10.08 MB

0 / 0

english, 2018

7

Formal Specification and Documentation Using Z: A Case Study Approach

Formal Specification and Documentation Using Z: A Case Study Approach

Intl Thomson Computer Pr (Sd)

년:

1996

언어:

english

파일:

PDF, 700 KB

0 / 0

english, 1996

8

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

년:

2019

언어:

english

파일:

PDF, 14.21 MB

0 / 0

english, 2019

9

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

년:

1999

언어:

english

파일:

PDF, 17.04 MB

0 / 0

english, 1999

10

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Changing Anarchism: Anarchist Theory And Practice In A Global Age

Manchester University Press/Palgrave

Jonathan Purkis, James Bowen

년:

2004

언어:

english

파일:

PDF, 1.18 MB

0 / 0

english, 2004

11

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

년:

2008

언어:

english

파일:

PDF, 4.05 MB

0 / 0

english, 2008

12

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Springer International Publishing

Jonathan P. Bowen, Huibiao Zhu (eds.)

년:

2017

언어:

english

파일:

PDF, 6.03 MB

0 / 0

english, 2017

13

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Springer International Publishing;Springer

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

년:

2020

언어:

english

파일:

PDF, 8.71 MB

0 / 0

english, 2020

14

Changing anarchism: Anarchist theory and practice in a global age

Changing anarchism: Anarchist theory and practice in a global age

Manchester University Press

Purkis, Jonathan(Editor), Bowen, James(Editor), Heckert, Jamie Vishwam(Contributor)

년:

2005

언어:

english

파일:

PDF, 1.01 MB

0 / 0

english, 2005

15

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Formal Methods and Testing: An Outcome of the FORTEST Network, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jan Tretmans (auth.), Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.)

년:

2008

언어:

english

파일:

PDF, 8.13 MB

0 / 0

english, 2008

16

Towards Verified Systems

Towards Verified Systems

Elsevier Science Ltd

Jonathan Bowen (Eds.)

년:

1994

언어:

english

파일:

PDF, 5.06 MB

0 / 0

english, 1994

17

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

년:

1999

언어:

english

파일:

DJVU, 3.63 MB

0 / 0

english, 1999

18

Transactions on Computational Science I

Transactions on Computational Science I

Springer-Verlag Berlin Heidelberg

Phan Cong Vinh, Jonathan P. Bowen (auth.), Marina L. Gavrilova, C. J. Kenneth Tan (eds.)

년:

2008

언어:

english

파일:

PDF, 5.56 MB

0 / 0

english, 2008

19

An Apple for the Creature

An Apple for the Creature

Charlaine Harris & Jonathan Maberry & Donald Harstad & Marjorie M. Liu & Rhys Bowen & Amber Benson & Mike Carey & Faith Hunter & Ilona Andrews & Steve Hockensmith & Nancy Holder & Thomas E. Sniegoski & Toni L. P. Kelner

년:

2012

언어:

english

파일:

FB2 , 720 KB

0 / 0

english, 2012

20

The Arts and Computational Culture: Real and Virtual Worlds

The Arts and Computational Culture: Real and Virtual Worlds

Tula Giannini, Jonathan P. Bowen

년:

2024

언어:

english

파일:

PDF, 41.38 MB

0 / 5.0

english, 2024

21

Museums and Digital Culture: New Perspectives and Research

Museums and Digital Culture: New Perspectives and Research

Tula Giannini, Jonathan P. Bowen (eds.)

년:

2019

언어:

english

파일:

PDF, 27.92 MB

0 / 0

english, 2019

22

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

년:

2010

언어:

english

파일:

PDF, 3.23 MB

0 / 5.0

english, 2010

23

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Springer-Verlag London

James Hemsley (auth.), Jonathan P. Bowen, Suzanne Keene, Kia Ng (eds.)

년:

2013

언어:

english

파일:

PDF, 9.66 MB

0 / 0

english, 2013

24

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

Springer International Publishing

Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.)

년:

2017

언어:

english

파일:

PDF, 12.27 MB

0 / 0

english, 2017

25

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

년:

2013

언어:

english

파일:

PDF, 10.23 MB

0 / 5.0

english, 2013

26

Provably Correct Systems

Provably Correct Systems

Springer International Publishing

Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog (eds.)

년:

2017

언어:

english

파일:

PDF, 9.41 MB

0 / 0

english, 2017

27

Software Specification Methods: An Overview Using a Case Study

Software Specification Methods: An Overview Using a Case Study

Springer-Verlag London

Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)

년:

2001

언어:

english

파일:

PDF, 14.94 MB

0 / 0

english, 2001

28

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

년:

1995

언어:

english

파일:

DJVU, 5.90 MB

0 / 0

english, 1995

29

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

년:

2008

언어:

english

파일:

PDF, 4.83 MB

0 / 0

english, 2008

30

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

ZB 2002:Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Eric Hehner, Ioannis T. Kassios (auth.), Didier Bert, Jonathan P. Bowen, Martin C. Henson, Ken Robinson (eds.)

년:

2002

언어:

english

파일:

PDF, 3.54 MB

0 / 0

english, 2002

31

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

년:

1999

언어:

english

파일:

PDF, 41.80 MB

0 / 0

english, 1999

32

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

년:

1998

언어:

english

파일:

PDF, 10.95 MB

0 / 0

english, 1998

33

Electronic Visualisation in Arts and Culture

Electronic Visualisation in Arts and Culture

Bowen, Jonathan Peter, Ng, Kia, Keene, Suzanne

년:

2013

언어:

english

파일:

EPUB, 6.74 MB

0 / 0

english, 2013

34

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

년:

1997

언어:

english

파일:

DJVU, 3.78 MB

0 / 0

english, 1997

35

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Daniel Jackson (auth.), Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén (eds.)

년:

2003

언어:

english

파일:

PDF, 4.31 MB

0 / 0

english, 2003

36

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Engineering Trustworthy Software Systems: Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Jonathan P. Bowen, Zhiming Liu, Zili Zhang

년:

2018

언어:

english

파일:

PDF, 3.29 MB

0 / 0

english, 2018

37

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions

Springer-Verlag London

Dines Bjørner (auth.), Paul Boca, Jonathan P. Bowen, Jawed Siddiqi (eds.)

년:

2010

언어:

english

파일:

PDF, 3.04 MB

0 / 0

english, 2010

38

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Wolfram Büttner (auth.), Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca (eds.)

년:

2008

언어:

english

파일:

PDF, 7.30 MB

0 / 0

english, 2008